Event.observe ( window, 'load', prelude );

function prelude () {
  set_menu_titles ();
}

function set_menu_titles () {
  $H({
    datasheet_lint           : 'lint a datasheet'
  , datasheet_commit         : 'commit a datasheet from ATP into subversion repository'
  , datasheet_issues         : 'report issues and commits for a datasheet'
  , datasheet_commits        : 'report commits for a datasheet'
  , datasheet_products       : 'list products linked with a datasheet'
  , datasheet_aheads         : 'list products linked with datasheets ahead of their last tag'
  , datasheet_admin          : 'create a datasheet and manage its authorizations'
  
  , specification_product    : 'report product components with their specification-wise bugs'
  , specification_products   : 'list know products with their properties'
  , specification_datasheets : 'list product-related datasheets'
  , specification_acronyms   : 'list known PIO muxing acronyms'
  , specification_process    : 'translate specification and follow-up into API/PIO/abstract'
  , specification_diff       : 'show API differences between two specification tags'
  , specification_compare    : 'compare specifications address/version/variable/condition values'
  , specification_admin      : 'create a specification and manage its authorizations'
  
  , integration_product      : 'report product components with their integration-wise bugs'
  , integration_products     : 'list know products with their properties'
  , integration_components   : 'display a components x products matrix'
  
  , report_components        : 'report components properties/bugs for a given product lineup'
  
  , search_products          : 'search products matching component patterns'
  
  , help_documentation       : 'display SOCK documentation'
  }).each ( function ( pair ) {
    $( 'menu_' + pair.key ).title = pair.value;
  });
}
